quasi-complete space

拟完备空间